4917 search results - page 868 / 984 » Software Engineering is Not Computer Science |
123
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
162
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to the special characteristics (limited battery power, limited computing capability, low bandwidth, need to collect sensor data from multiple fixed-location source nodes to a...
138
click to vote
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
187
click to vote
ATC
2007
Springer
15 years 10 months ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
100
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
How can design teams employ new tools and develop response methodologies yet still stay within design budgets? How much effort does it require to be an early adopter and what kind...