Sciweavers

3844 search results - page 557 / 769
» Modular interpreted systems
Sort
View
183
Voted
SMC
2007
IEEE
105views Control Systems» more  SMC 2007»
16 years 1 months ago
Performance evaluation of petri nets execution algorithms
— In this paper we present a performance evaluation of interpreted and centralized implementation techniques of Petri nets. These implementation techniques allow the translation ...
Ramon Piedrafita Moreno, José Luis Villarro...
ESOP
2007
Springer
16 years 1 months ago
Static Analysis by Policy Iteration on Relational Domains
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah...
214
Voted
FASE
2007
Springer
16 years 1 months ago
Scenario-Driven Dynamic Analysis of Distributed Architectures
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
George Edwards, Sam Malek, Nenad Medvidovic
SG
2007
Springer
16 years 1 months ago
Highly Realistic 3D Presentation Agents with Visual Attention Capability
This research proposes 3D graphical agents in the role of virtual presenters with a new type of functionality – the capability to process and respond to visual attention of users...
Arjen Hoekstra, Helmut Prendinger, Nikolaus Bee, D...
WAW
2007
Springer
120views Algorithms» more  WAW 2007»
16 years 1 months ago
Manipulation-Resistant Reputations Using Hitting Time
Popular reputation systems for linked networks can be manipulated by spammers who strategically place links. The reputation of node v is interpreted as the world’s opinion of v...
John E. Hopcroft, Daniel Sheldon