271 search results - page 51 / 55 » A Method for Aligning Business Process Modeling and Software... |
121
click to vote
ESEC
1999
Springer
15 years 7 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
134
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
148
Voted
SIAMAM
2011
14 years 10 months ago
2011
Trace gas sensors that are compact and portable are being deployed for use in a variety of applications including disease diagnosis via breath analysis, monitoring of atmospheric p...
131
click to vote
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
147
Voted
ATAL
1995
Springer
15 years 7 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...