1401 search results - page 222 / 281 » Tool Integration for Reasoned Programming |
SCOPES
2005
Springer
14 years 3 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
MOBILITY
2009
ACM
14 years 2 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
HICSS
1997
IEEE
14 years 2 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
CD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A distributed software system's deployment architecture can have a significant impact on the system's properties. These properties will depend on various system...