442 search results - page 75 / 89 » Model Checking of Systems Employing Commutative Functions |
WSC
2000
13 years 8 months ago
2000
Recent breakthroughs in communication and software engineering has resulted in significant growth of web-based computing. Web-based techniques have been employed for modeling, sim...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
CHI
1996
ACM
13 years 11 months ago
1996
ACM
In its current implementation, the World-Wide Web lacks much of the explicit structure and strong typing found in many closed hypertext systems. While this property has directly f...
HICSS
2000
IEEE
13 years 11 months ago
2000
IEEE
Workflow management systems enable the exact and timely analysis of automated business processes through the analysis of the logged audit trail data. Within the research project C...
CAISE
2004
Springer
14 years 23 days ago
2004
Springer
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...