Sciweavers

1085 search results - page 51 / 217
» An Application Model for Visualization of Natural Resources ...
Sort
View
ICDE
2007
IEEE
134views Database» more  ICDE 2007»
16 years 14 days ago
Apply Model Checking to Security Analysis in Trust Management
Trust management is a form of access control that uses delegation to achieve scalability beyond a single organization or federation. However, delegation can be difficult to contr...
Mark Reith, Jianwei Niu, William H. Winsborough
EUROMICRO
2006
IEEE
16 years 6 days ago
Real-Time Modelling of Distributed Component-Based Applications
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
Patricia López Martínez, Julio L. Me...
POPL
2009
ACM
16 years 29 days ago
Declarative aspects of memory management in the concurrent collections parallel programming model
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
Zoran Budimlic, Aparna Chandramowlishwaran, Kathle...
ROBOCUP
1999
Springer
250views Robotics» more  ROBOCUP 1999»
15 years 10 months ago
Virtual RoboCup: Real-Time 3D Visualization of 2D Soccer Games
Virtual RoboCup is a real-time 3D visualization tool for 2D simulated soccer games as played in the RoboCup simulation league. Players are modeled as anthropmorphic gures and anima...
Bernhard Jung, Markus Oesker, Heiko Hecht
CCGRID
2004
IEEE
15 years 10 months ago
QoS support for high-performance scientific Grid applications
The Grid approach provides the ability to access and use distributed resources as part of virtual organizations. The emerging Grid infrastructure gives rise to a class of scientif...
Rashid J. Al-Ali, Gregor von Laszewski, Kaizar Ami...