Sciweavers

977 search results - page 102 / 196
» DRIFT: A Framework for Ontology-based Design Support Systems
Sort
View
DEXAW
2003
IEEE
108views Database» more  DEXAW 2003»
14 years 1 months ago
Electronic Voting Systems: Security Implications of the Administrative Workflow
With the rapid growth of the Internet, online voting appears to be a reasonable alternative to conventional elections and other opinion expressing processes. Current research focu...
Costas Lambrinoudakis, Spyros Kokolakis, Maria Kar...
ICFEM
1997
Springer
14 years 10 days ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ISM
2008
IEEE
176views Multimedia» more  ISM 2008»
14 years 2 months ago
BitTube: Case Study of a Web-Based Peer-Assisted Video-on-Demand System
Recent theoretical and simulation-based studies have confirmed the tremendous benefit of peer-to-peer (P2P) communication at reducing the cost of running a VoD service. To date,...
Bo Liu, Yi Cui, Bin Chang, Ben Gotow, Yuan Xue
DAGSTUHL
1990
13 years 9 months ago
Parallel Rule-Firing Production Systems
One of the principal advantages of parallelizing a rule-based system, or more generally, any A.I. system, is the ability to pursue alternate search paths concurrently. Conventiona...
Daniel Neimann
CIA
2004
Springer
14 years 1 months ago
On the Impact of Agent Communication Languages on the Implementation of Agent Systems
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
Juan Manuel Serrano, Sascha Ossowski