16725 search results - page 3169 / 3345 » Engineering Software Correctness |
151
Voted
ACMSE
2008
ACM
15 years 5 months ago
2008
ACM
As computers become increasingly integral to daily life there is a need for computer scientists to focus on the user. This, in part, entails developing applications that have inte...
113
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
nts have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interopera...
141
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Future applications of unmanned aerial vehicles (UAVs) especially in military missions require the operation of UAVs with a high level of autonomy. Autonomous UAVs could be develo...
145
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we shortly describe the Living Systems Autonomic Business Process Management (LS/ABPM) software product. LS/ABPM is an integrated environment, based on J2EE, Eclipse...
134
Voted
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...