Sciweavers

1328 search results - page 128 / 266
» Common Knowledge
Sort
View
CSCW
1992
ACM
14 years 1 months ago
Groupware Experiences in Three-Dimensional Computer-Aided Design
A system that allows people to simultaneously modify a common design in a graphically rich environment was developed to identify and examine groupware interface issues unique to t...
Li Shu, Woodie Flowers
AIIA
2007
Springer
14 years 1 months ago
Mobile Robots and Intelligent Environments
Abstract-- This paper deals with an architecture for knowledge representation suitable for integrated Robotics and Ambient Intelligence applications. The aim of the work is to adop...
Francesco Capezio, Fulvio Mastrogiovanni, Antonio ...
AOSE
2006
Springer
14 years 1 months ago
Designing Institutional Multi-Agent Systems
Abstract. The vision of agents working together on the Internet, in virtual organizations, is one that is increasingly common. However, one of the issues is the regulation of the p...
Carles Sierra, John Thangarajah, Lin Padgham, Mich...
CAISE
2006
Springer
14 years 1 months ago
Experiences with Modeling and Verification of Regulations
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
Jan Vanthienen, Christophe Mues, Stijn Goedertier
SAS
2000
Springer
124views Formal Methods» more  SAS 2000»
14 years 1 months ago
Code Specialization Based on Value Profiles
Abstract. It is often the case at runtime that variables and registers in programs are "quasi-invariant," i.e., the distribution of the values they take on is very skewed...
Robert Muth, Scott A. Watterson, Saumya K. Debray