10038 search results - page 1499 / 2008 » Model Checking for Managers |
197
click to vote
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
186
click to vote
ICDIM
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose an XML storage scheme based on Document Table Model (DTM) which expresses an XML document as a table form. When performing query processing on large scale XML data, XML...
153
click to vote
ICEGOV
2007
ACM
15 years 10 months ago
2007
ACM
Electronic Governance (e-Governance) has received a tremendous interest world over. Significant amount of money is being put into making e-Governance a reality. A number of Projec...
188
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
The Open Grid Services Infrastructure (OGSI) defines a distributed system framework by integrating Grid and Web services technologies to facilitate resource sharing. In OGSI, Web ...
170
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...