7820 search results - page 378 / 1564 » Formalization of Time and Space |
242
click to vote
ISORC
1998
IEEE
15 years 12 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
191
click to vote
EDBT
1998
ACM
15 years 11 months ago
1998
ACM
Many collections of scienti c data in particular disciplines are available today around the world. Much of this data conforms to some agreed upon standard for data exchange, i.e., ...
172
click to vote
HASE
1997
IEEE
15 years 11 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
231
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
190
click to vote
ACISP
2010
Springer
15 years 9 months ago
2010
Springer
To reduce the damage of phishing and spyware attacks, banks, governments, and other security-sensitive industries are deploying one-time password systems, where users have many pa...