788 search results - page 101 / 158 » Design and use of a system-level specification and verificat... |
153
click to vote
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
Web-based Information Systems (WIS) are now widely used for diffusing and processing information over the network. Methodological guidelines which assist WIS developers in their t...
151
click to vote
ECTEL
2007
Springer
16 years 17 days ago
2007
Springer
In the last couple of years we have evidenced several initiatives promoting the vision of open educational systems. Educational brokers are supposed to take advantage of this ‘in...
187
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Economic incentives have driven the semiconductor industry to separate design from fabrication in recent years. This trend leads to potential vulnerabilities from untrusted circui...
190
click to vote
AICT
2006
IEEE
16 years 14 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
165
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Heuristics have become an accepted and widely used adjunct method of usability evaluation in Internet and software development. This report introduces Heuristic Evaluation for Pla...