3302 search results - page 440 / 661 » Software Is More Than Code |
168
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
165
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
138
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Long transactions cause pragmatic problems for workflow systems – as the transaction is moving, so is the surrounding world. We look at three scenarios in which external events ...
306
click to vote
SIGCSE
2003
ACM
15 years 11 months ago
2003
ACM
Computer science has a reputation of being a discipline in a perpetual state of accelerated progress—a discipline in which our techniques, our hardware, our software systems, an...
170
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...