1148 search results - page 92 / 230 » Software engineering considered harmful |
123
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
135
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Critical components of a distributed system must be replicated to achieve high availability and fault tolerance. Current faulttolerant CORBA infrastructures have concentrated on m...
125
click to vote
EUROMICRO
2002
IEEE
15 years 9 months ago
2002
IEEE
The Mobile Multimedia Modem (M3)-DSP is based on a scalable, highly parallel DSP platform concept capable of delivering the processing power to create software solutions for tasks...
125
click to vote
FOSSACS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
126
click to vote
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...