598 search results - page 86 / 120 » Aspect-Oriented Development Using Protocol Modeling |
109
Voted
FM
2005
Springer
15 years 7 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
124
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
108
Voted
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
119
Voted
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
Location based services are becoming essential feature of context-awareness in ubiquitous computing. Reflective distribute component programming model is proposed to systematicall...
173
click to vote
HPDC
1998
IEEE
15 years 6 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...