Sciweavers

462 search results - page 27 / 93
» Port-Hamiltonian approaches to motion generation for mechani...
Sort
View
CSCW
1992
ACM
15 years 1 months ago
Awareness and Coordination in Shared Workspaces
Awareness of individual and group activities is critical to successful collaboration and is commonly supported in CSCW systems by active, information generation mechanisms separat...
Paul Dourish, Victoria Bellotti
VIS
2006
IEEE
157views Visualization» more  VIS 2006»
15 years 11 months ago
Analyzing Complex FTMS Simulations: a Case Study in High-Level Visualization of Ion Motions
Current practice in particle visualization renders particle position data directly onto the screen as points or glyphs. Using a camera placed at a fixed position, particle motions...
Wojciech Burakiewicz, Robert van Liere
EDOC
2005
IEEE
15 years 3 months ago
An Interactive Approach for Specifying OWL-S Groundings
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
Gerald C. Gannod, Raynette J. Brodie, John T. E. T...
DEXAW
2000
IEEE
96views Database» more  DEXAW 2000»
15 years 2 months ago
Towards a Generic Negotiation Model for Intentional Agents
Intentional agents are charged with generating and executing intentionally plans of action towards the achievement of their goals. They operate in multi-agent systems and situatio...
Fernando Lopes, Nuno J. Mamede, Augusto Q. Novais,...
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 1 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...