18769 search results - page 3351 / 3754 » Requirements Models in Context |
210
click to vote
FM
2001
Springer
16 years 5 days ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
169
click to vote
GI
2001
Springer
16 years 5 days ago
2001
Springer
: With the increase in popularity of XML on the Internet, the requirements of database management systems have shifted from traditional transaction-based databases towards the kind...
206
click to vote
ICN
2001
Springer
16 years 4 days ago
2001
Springer
Internet is widely known for lacking any kind of mechanism for the provisioning of Quality of Service (QoS) guarantees. The Internet community currently concentrates its efforts on...
223
click to vote
ICSE
2001
IEEE-ACM
16 years 4 days ago
2001
IEEE-ACM
Global software development is rapidly becoming the norm for technology companies. Previous qualitative research suggests that multi-site development may increase development cycl...
195
click to vote
JAVA
2001
Springer
16 years 4 days ago
2001
Springer
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...