6308 search results - page 267 / 1262 » Modeling Urgency in Timed Systems |
212
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
161
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
170
click to vote
BIB
2010
15 years 6 months ago
2010
Dynamic molecular interactions play a central role in regulating the functioning of cells and organisms.The availability of experimentally determined large-scale cellular networks...
146
click to vote
EOR
2008
15 years 6 months ago
2008
Relationships between an assembler and a vendor in a supply chain are investigated in two-period models when the assembler wants to reduce response time by incentive systems. The ...
177
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
—PhoneFactor is a two-factor authentication service that combines the knowledge-based authenticator with an objectbased authenticator in which the object-based authenticator has ...