2153 search results - page 318 / 431 » From Requirements Models to Formal Specifications in B |
182
click to vote
SERA
2005
Springer
15 years 11 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
160
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
From the early World Wide Web exploitation until contemporary Semantic Web generation, global communication has become an essential need for many people on the Internet. Globaliza...
151
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...
243
click to vote
VLDB
2000
ACM
15 years 10 months ago
2000
ACM
Data allocation is a key performance factor for parallel database systems (PDBS). This holds especially for data warehousing environments where huge amounts of data and complex an...
177
click to vote
NIPS
2008
15 years 7 months ago
2008
Offline handwriting recognition--the transcription of images of handwritten text--is an interesting task, in that it combines computer vision with sequence learning. In most syste...