Search results for: Valerie Issarny
Lecture Notes in Computer Science > Middleware 2005 > 164-183
Lecture Notes in Computer Science > Parallel Processing and Applied Mathematics > Paralel and Distributed Non-numerical Algorithms > 51-58
Lecture Notes in Computer Science > CONPAR 90 — VAPP IV > 604-615
Lecture Notes in Computer Science > Euro-Par 2006 Parallel Processing > Topic 14: Mobile and Ubiquitous Computing > 897-897
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 364-386
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 236-250
IFIP — The International Federation for Information Processing > Mobile Information Systems > 245-260
Lecture Notes in Computer Science > Software Engineering and Middleware > Ubiquitous Computing > 64-77
Lecture Notes in Computer Science > Architecting Dependable Systems > Dependability Analysis in Software Architectures > 197-218
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Theory and Applications > 319-333
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Dependability Assurance > 393-416
Studies in Computational Intelligence > Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing > 137-149