Sciweavers

13140 search results - page 223 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
COLCOM
2008
IEEE
15 years 8 months ago
Towards Continuous Workflow Enactment Systems
Abstract. Traditional workflow enactment systems and workflow design processes view the workflow as a one-time interaction with the various data sources, executing a series of step...
Panayiotis Neophytou, Panos K. Chrysanthis, Alexan...
AIM
2006
15 years 6 months ago
Companion Cognitive Systems: A Step towards Human-Level AI
We are developing Companion Cognitive Systems, a new kind of software that can be effectively treated as a collaborator. Aside from their potential utility, we believe this effort...
Kenneth D. Forbus, Thomas R. Hinrichs
ENTCS
2008
102views more  ENTCS 2008»
15 years 6 months ago
Towards a Systematic Method for Proving Termination of Graph Transformation Systems
We describe a method for proving the termination of graph transformation systems. The method is based on the fact that infinite reductions must include infinite `creation chains&#...
Harrie Jan Sander Bruggink
NOMS
2008
IEEE
16 years 1 months ago
Towards an efficient implementation of traceback mechanisms in autonomous systems
—One of the major problems due to denial of service attacks is the identification of fault packets. To resolve this problem, several IP traceback methods have been defined. In th...
Karima Boudaoud, F. LeBorgne
SP
2008
IEEE
127views Security Privacy» more  SP 2008»
16 years 1 months ago
Civitas: Toward a Secure Voting System
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
Michael R. Clarkson, Stephen Chong, Andrew C. Myer...