8627 search results - page 1360 / 1726 » Software Engineering Using RATionale |
222
click to vote
MIDDLEWARE
2005
Springer
16 years 11 days ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
194
click to vote
TACAS
2005
Springer
16 years 10 days ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
157
click to vote
CCS
2004
ACM
16 years 8 days ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
208
click to vote
EMSOFT
2004
Springer
16 years 8 days ago
2004
Springer
As embedded systems grow in size and complexity, an operating system has become essential to simplify the design of system software, for which more accurate analysis of its impact...
197
click to vote
ICSOC
2004
Springer
16 years 7 days ago
2004
Springer
Service oriented computing, with its aim of unhindered interoperability, is an appropriate paradigm for ad hoc networks, which are characterized by physical mobility of heterogeno...