2075 search results - page 289 / 415 » aims 2007 |
162
click to vote
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...
138
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
The Unified Modeling Language (UML) is considered as the lingua franca in software engineering. Despite various web modeling languages having emerged in the past decade, in the fie...
132
click to vote
IEAAIE
2007
Springer
15 years 10 months ago
2007
Springer
The process scheduling aims to arrange CPU time to multiple processes for providing users with more efficient throughput. Except the class of process set by user, conventional oper...
116
click to vote
IFM
2007
Springer
15 years 10 months ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
145
click to vote
ILC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...