76 search results - page 9 / 16 » Running smart process based on goals |
140
click to vote
ICECCS
2000
IEEE
15 years 10 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...
164
click to vote
BPM
2008
Springer
15 years 8 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...
162
click to vote
CODES
2008
IEEE
16 years 11 days 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 ...
137
click to vote
IJCAT
2008
15 years 5 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 ...
182
click to vote
DATE
1999
IEEE
15 years 10 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...