5384 search results - page 420 / 1077 » Open Standards Requirements |
180
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
159
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
— 802.11 usage has exploded and broken all barriers for which it was originally proposed. This has resulted in research for its non-legacy usages. Such usages require study of pa...
197
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
- Monitoring and controlling a large number of geographically distributed scientific instruments is a challenging task. Some operations on these instruments require real-time (or q...
156
click to vote
TRUSTBUS
2007
Springer
16 years 1 months ago
2007
Springer
The forthcoming ISO/IEC 24727 series of standards defines application programming interfaces for smart cards and is expected to provide a major contribution to the global interope...
172
click to vote
AUIC
2006
IEEE
16 years 1 months ago
2006
IEEE
A paperless environment for annotating student assignments is appealing to teachers and students. However, to do this, while retaining the richness and ease of annotating the work...