261 search results - page 50 / 53 » Robustness of Temporal Logic Specifications |
96
Voted
ATAL
2005
Springer
15 years 1 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...
84
Voted
CCR
2006
14 years 11 months ago
2006
The presence of "unwanted" (or background) traffic in the Internet is a well-known fact. In principle any network that has been engineered without taking its presence in...
112
click to vote
WILF
2007
Springer
15 years 5 months ago
2007
Springer
Background: Quantitative analysis of differential protein expressions requires to align temporal elution measurements from liquid chromatography coupled to mass spectrometry (LC/M...
133
click to vote
CCECE
2006
IEEE
15 years 5 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
107
click to vote
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...