Sciweavers

1655 search results - page 152 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
DEBS
2003
ACM
15 years 11 months ago
Relational subscription middleware for Internet-scale publish-subscribe
We present a design of a distributed publish-subscribe system that extends the functionality of messaging middleware with “relational subscriptions”, to support timely updates...
Yuhui Jin, Robert E. Strom
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 12 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
SGAI
2004
Springer
15 years 11 months ago
Implementing Policy Management through BDI
The requirement for Grid middleware to be largely transparent to individual users and at the same time act in accordance with their personal needs is a difficult challenge. In e-...
Simon Miles, Juri Papay, Michael Luck, Luc Moreau
WSC
2001
15 years 7 months ago
On the use of fuzzy clustering in construction simulation
This paper presents a methodology that integrates fuzzy clustering and computer simulation and demonstrates its use in modeling earthmoving operations. A simulation system (SimEar...
Mohamed Marzouk, Osama Moselhi
IUI
2011
ACM
14 years 9 months ago
ChemInk: a natural real-time recognition system for chemical drawings
We describe a new sketch recognition framework for chemical structure drawings that combines multiple levels of visual features using a jointly trained conditional random field. ...
Tom Y. Ouyang, Randall Davis