1518 search results - page 75 / 304 » Cryptographic Test Correction |
202
click to vote
RSP
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
187
click to vote
UM
2007
Springer
16 years 23 days ago
2007
Springer
: SimStudent is a machine-learning agent that learns cognitive skills by demonstration. It was originally developed as a building block of the Cognitive Tutor Authoring Tools (CTAT...
184
click to vote
ACMSE
2004
ACM
16 years 2 days ago
2004
ACM
Notification interfaces that continuously present peripheral information have received increasing interest within the HCI community, especially those supporting awareness of other...
166
click to vote
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
157
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
The popularity of web objects, and by extension the popularity of the web sites, besides the appearance of clear footprints in user's accesses that show a considerable spatia...