1366 search results - page 221 / 274 » Modularizing Contexted Constraints |
WORDS
2002
IEEE
15 years 4 months ago
2002
IEEE
: The monolithic and inflexible nature of current middleware has made it difficult to deal with emerging technologies such as multimedia. Since these applications have timeliness c...
111
click to vote
EDCC
2010
Springer
15 years 4 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
SAC
2009
ACM
15 years 3 months ago
2009
ACM
The ever increasing adoption of software technologies has bring closer technology to users with disabilities and users that interact with devices other than a PC. This diversific...
ISMIR
2001
Springer
15 years 3 months ago
2001
Springer
: Music title identification is a key ingredient of contentbased electronic music distribution. Because of the lack of standards in music identification – or the lack of enforcem...
UML
2001
Springer
15 years 3 months ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...