Sciweavers

2075 search results - page 238 / 415
» Dynamics based control with an application to area-sweeping ...
Sort
View
156
Voted
IFM
2009
Springer
16 years 1 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
ICIP
2006
IEEE
16 years 8 months ago
Image-Based Simulation of Gaseous Material
We present a method for real-time image based simulation of gaseous material such as fire and smoke. We model the kinematics of these phenomena by a mass-spring system, and their ...
Murat Balci, Mais Alnasser, Hassan Foroosh
SASO
2008
IEEE
16 years 1 months ago
Semantic Web Based Self-Management for a Pervasive Service Middleware
Self-management is one of the challenges for realizing Ambient Intelligence in pervasive computing. In this paper, we propose and present a semantic web based selfmanagement appro...
Weishan Zhang, Klaus Marius Hansen
ISI
2004
Springer
16 years 13 days ago
Composite Role-Based Monitoring (CRBM) for Countering Insider Threats
Through their misuse of authorized privileges, insiders have caused great damage and loss to corporate internal information assets, especially within the Intelligence Community (IC...
Joon S. Park, Shuyuan Mary Ho
ICDCSW
2007
IEEE
16 years 1 months ago
UBCA: Utility-Based Clustering Architecture for Peer-to-Peer Systems
Peer-to-Peer (P2P) systems are currently used in a variety of applications. File sharing applications and ad hoc networking have fueled the usage of these systems. P2P systems gen...
Brent Lagesse, Mohan Kumar