Sciweavers

2292 search results - page 363 / 459
» Techniques and tools for dynamic optimization
Sort
View
COLCOM
2009
IEEE
14 years 29 days ago
Towards automatic privacy management in Web 2.0 with semantic analysis on annotations
— Sharing personal information and documents is pervasive in Web 2.0 environments, which creates the need for properly controlling shared data. Most existing authorization and po...
Nitya Vyas, Anna Cinzia Squicciarini, Chih-Cheng C...
MOBILITY
2009
ACM
14 years 27 days ago
Lively for Qt: a platform for mobile web applications
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
Tommi Mikkonen, Antero Taivalsaari, Mikko Terho
ATAL
2009
Springer
14 years 26 days ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
VISUALIZATION
1999
IEEE
14 years 15 days ago
Digital Design of a Surgical Simulator for Interventional Magnetic Resonance Imaging
We present the design of a simulator for a prototype interventional magnetic resonance imaging scanner. This MRI scanner is integrated with an operating theater, enabling new tech...
Terry S. Yoo, Penny Rheingans
FCCM
1998
IEEE
148views VLSI» more  FCCM 1998»
14 years 15 days ago
JHDL - An HDL for Reconfigurable Systems
JHDL is a design tool for reconfigurable systems that allows designers to express circuit organizations that dynamically change over time in a natural way, using only standard pro...
Peter Bellows, Brad L. Hutchings