4418 search results - page 448 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
196
click to vote
EWSA
2004
Springer
16 years 8 days ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
207
click to vote
KBSE
2005
IEEE
16 years 14 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
214
click to vote
ICDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
The domain of Digital Libraries presents specific challenges for unsupervised information extraction to support both the automatic classification of documents and the enhancement ...
224
click to vote
ADAPTIVE
2007
Springer
16 years 1 months ago
2007
Springer
The large amount of available information on the Web makes it hard for users to locate resources about particular topics of interest. Traditional search tools, e.g., search engines...
171
click to vote
RIDE
1999
IEEE
15 years 11 months ago
1999
IEEE
The Internet and the proliferation of inexpensive computing power in the form of clusters of workstations or PCs provide the basic hardware infrastructure for business to business...