76 search results - page 9 / 16 » Running smart process based on goals |
ICECCS
2000
IEEE
15 years 2 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
BPM
2008
Springer
14 years 11 months ago
2008
Springer
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
Body-area sensor network or BAN-based health monitoring is increasingly becoming a popular alternative to traditional wired bio-monitoring techniques. However, most biomonitoring ...
IJCAT
2008
14 years 9 months ago
2008
: Adaptivity in software is important since business processes, business rules and business terms constantly evolve. A radical solution is described that makes use of the inherent ...
DATE
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...