567 search results - page 23 / 114 » Ubiquitous Process Engineering: Applying Software Process Te... |
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
APSEC
2002
IEEE
14 years 1 months ago
2002
IEEE
Many methods for XML processing have been proposed in the last few years. One popular approach is to process XML documents by using existing programming languages. Another popular...
ACSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
CAISE
2010
Springer
13 years 3 months ago
2010
Springer
The existence of variations in the organizational environment makes the configuration of business process models a complex activity, even for experienced business analysts. The inc...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Web search engines are facing formidable performance challenges as they need to process thousands of queries per second over billions of documents. To deal with this heavy workloa...