15777 search results - page 2648 / 3156 » The Reformulation-Optimization Software Engine |
151
click to vote
CCS
2004
ACM
15 years 12 months 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...
190
click to vote
EMSOFT
2004
Springer
15 years 11 months 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...
145
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
166
click to vote
EUROSPI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Extreme programming (XP), similar to other agile software development methods, values close collaboration with customers. One of the XP's practices suggests that cus...
188
click to vote
ICSOC
2004
Springer
15 years 11 months 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...