4418 search results - page 529 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
213
click to vote
EMSOFT
2007
Springer
16 years 28 days ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
200
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
172
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
In recent years, several researchers have proposed techniques for providing users with assistance in understanding and overcoming authorization denials. The incorporation of envir...
198
click to vote
COMCOM
2008
15 years 6 months ago
2008
A new kind of ad hoc network is hitting the streets: Vehicular Ad Hoc Networks (VANets). In these networks, vehicles communicate with each other and possibly with a roadside infra...
174
click to vote
BILDMED
2007
15 years 8 months ago
2007
This work aims to propose an interactive method for a iconic and textual annotation of digital mammograms. The suggested annotation tool consists of a semantic network to represent...