1908 search results - page 239 / 382 » How to teach software modeling |
114
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
115
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
145
click to vote
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
143
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We consider how underused computing resources within an enterprise may be harnessed to improve utilization and create an elastic computing infrastructure. Most current cloud provi...
186
click to vote
NORDICHI
2004
ACM
15 years 10 months ago
2004
ACM
One vision of a context-aware pervasive networking environment promises the user a seamless access to surrounding services using her personal mobile device. This requires that the...