3555 search results - page 547 / 711 » Security-Critical System Development with Extended Use Cases |
145
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
124
click to vote
ICSM
2006
IEEE
15 years 10 months ago
2006
IEEE
The main challenge of dynamic analysis is the huge volume of data, making it difficult to extract high level views. Most techniques developed so far adopt a finegrained approach ...
150
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
The complex business environment requires managing business processes with the ability to adapt to changes and to collaborate in activities. Conventional workflow approaches based...
138
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
126
click to vote
ICA3PP
2005
Springer
15 years 9 months ago
2005
Springer
Many of the key features of file transfer mechanisms like reliable file transferring and parallel transferring are developed as part of the service. It makes very hard to re-use th...