Sciweavers

950 search results - page 44 / 190
» Developing Law-Governed Systems Using Aspects
Sort
View
ATAL
2005
Springer
15 years 5 months ago
Fencing the Open Fields: Empirical Concerns on Electronic Institutions (Invited Paper)
The regulation of multiagent systems may be approached from different stand-points. In this paper I will take the perspective of using a certain type of devices, electronic instit...
Pablo Noriega
STEP
2003
IEEE
15 years 5 months ago
Using Grid Technologies for Web-Enabling Legacy Systems
The adoption of the Internet technologies favors the diffusion of Web and Grid-based applications. However, the development of new applications exploiting the modern interfaces an...
Thierry Bodhuin, Maria Tortorella
BCSHCI
2007
15 years 1 months ago
Use study on a home video editing system
To help consumers dealing with their growing amount of home video, we have developed the Edit While Watching (EWW) system. It is designed to automatically create an edited version...
Hans Weda, Marco Campanella
CORR
2004
Springer
142views Education» more  CORR 2004»
14 years 11 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
ER
2004
Springer
139views Database» more  ER 2004»
15 years 5 months ago
A Sociological Framework for Multi-agent Systems Validation and Verification
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...