Sciweavers

5170 search results - page 366 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
COORDINATION
2008
Springer
15 years 8 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
IROS
2006
IEEE
186views Robotics» more  IROS 2006»
16 years 25 days ago
Cooperative Driving based on Inter-vehicle Communications: Experimental Platform and Algorithm
— This paper describes our efforts in building an experimental platform to conduct research on cooperative driving in Intelligent Transportation Systems (ITS). A miniature vehicl...
Weihua Sheng, Qingyan Yang, Yi Guo
GAMEON
2003
15 years 8 months ago
A Multiplayer Case Based Story Engine
This paper describes the development of an expert casebased character director system which dynamically generates and controls a story, which is played out in a multiplayer networ...
Chris Fairclough, Padraig Cunningham
COMPSAC
2006
IEEE
16 years 26 days ago
Agent-Based Offline Electronic Voting
—Many electronic voting systems, classified mainly as homomorphic cryptography based, mix-net based and blind signature based, appear after the eighties when zero knowledge proof...
Mehmet Tahir Sandikkaya, Bülent Örencik
JOT
2010
117views more  JOT 2010»
15 years 5 months ago
Formal Model and DSL for Separation of Concerns based on Views
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
Mehdi Adda, Hamid Mcheick, Hafedh Mili