2836 search results - page 542 / 568 » Model Checking for Software Architectures |
CSCW
1996
ACM
13 years 12 months ago
1996
ACM
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...
MM
1993
ACM
13 years 11 months ago
1993
ACM
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...
HICSS
2000
IEEE
13 years 11 months ago
2000
IEEE
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...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
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...
ATAL
2005
Springer
13 years 9 months ago
2005
Springer
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...