1888 search results - page 215 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
150
click to vote
ADVSE
2010
14 years 11 months ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
157
click to vote
CLUSTER
2002
IEEE
15 years 4 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...
108
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Centralized government document infrastructure and a policy commitment to transform the tourism sector to a more vivid and efficient business sector works as drivers for implement...
139
click to vote
AAAI
1996
15 years 5 months ago
1996
The NASA Personnel Security Processing Expert System is a tool that automatically determines the appropriate personnel background investigation required for a civil servant or con...
131
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...