Sciweavers

3430 search results - page 336 / 686
» Language model for IR using collection information
Sort
View
WSC
1997
15 years 9 months ago
Arena Software Tutorial
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
David A. Takus, David M. Profozich
DISCEX
2003
IEEE
16 years 26 days ago
MuCAPSL
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...
Jonathan K. Millen, Grit Denker
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
16 years 1 months ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
231
Voted
SACMAT
2010
ACM
16 years 12 days ago
An access control model for mobile physical objects
Access to distributed databases containing tuples collected about mobile physical objects requires information about the objects’ trajectories. Existing access control models ca...
Florian Kerschbaum
ISCIS
2004
Springer
16 years 29 days ago
Modelling Mobility with PEPA Nets
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
Jane Hillston, Marina Ribaudo