Sciweavers

2836 search results - page 542 / 568
» Model Checking for Software Architectures
Sort
View
CSCW
1996
ACM
15 years 7 months ago
Supporting Multi-User, Multi-Applet Workspaces in CBE
Our experience with Internet-based scientific collaboratories indicates that they need to be user-extensible, allow users to add tools and objects dynamically to shared workspaces...
Jang Ho Lee, Atul Prakash, Trent Jaeger, Gwobaw Wu
MM
1993
ACM
113views Multimedia» more  MM 1993»
15 years 7 months ago
The Vidboard: A Video Capture and Processing Peripheral for a Distributed Multimedia System
This paper describes a stand-alone network-based video capture and processing peripheral (the Vidboard) for a distributed multimedia system centered around a gigabit-per-second As...
Joel F. Adam, David L. Tennenhouse
HICSS
2000
IEEE
124views Biometrics» more  HICSS 2000»
15 years 7 months ago
An Empirical Study of Distribution based on Voyager: A Performance Analysis
The paper describes the model, implementation and experimental evaluation of a distributed Kohonen Neural Network application (Kohonen Application). The aim of this research is to...
Sérgio Viademonte, Frada Burstein, Fá...
116
Voted
ATAL
2008
Springer
15 years 5 months ago
Goals in agent systems: a unifying framework
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
M. Birna van Riemsdijk, Mehdi Dastani, Michael Win...
128
Voted
ATAL
2005
Springer
15 years 5 months ago
Rockwell automation agents for manufacturing
The paper provides an overview of the agent-based solutions developed by the Rockwell Automation company for the purposes of industrial control. Using agent-based manufacturing co...
Vladimír Marík, Pavel Vrba, Kenwood ...