Sciweavers

4072 search results - page 93 / 815
» Becoming Increasingly Reactive
Sort
View
ECCB
2008
IEEE
13 years 9 months ago
Temporal logic patterns for querying dynamic models of cellular interaction networks
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
EWC
2008
85views more  EWC 2008»
13 years 9 months ago
Geometry based pre-processor for parallel fluid dynamic simulations using a hierarchical basis
The pre-processing stage of finite element analysis of the Navier-Stokes equations is becoming increasingly important as the desire for more general boundary conditions, as well a...
Anil Kumar Karanam, Kenneth E. Jansen, Christian H...
JNW
2007
135views more  JNW 2007»
13 years 9 months ago
Access Control in Decentralised Publish/Subscribe Systems
Abstract— Publish/subscribe has emerged as an attractive communication paradigm for building Internet-wide distributed systems by decoupling message senders from receivers. Large...
Lauri I. W. Pesonen, David M. Eyers, Jean Bacon
TWC
2008
170views more  TWC 2008»
13 years 9 months ago
Secure and Serverless RFID Authentication and Search Protocols
With the increased popularity of RFID applications, different authentication schemes have been proposed to provide security and privacy protection for users. Most recent RFID proto...
Chiu Chiang Tan, Bo Sheng, Qun Li
CONCURRENCY
2004
101views more  CONCURRENCY 2004»
13 years 9 months ago
GridSphere: a portal framework for building collaborations
Grid enabled portals are becoming increasingly popular as a platform for providing access to Grid services and resources. Unfortunately, much of the work done in portal developmen...
Jason Novotny, Michael Russell, Oliver Wehrens