7206 search results - page 228 / 1442 » Using a Hypermedia System for Systems Engineering |
159
click to vote
ICANN
2007
Springer
16 years 20 days ago
2007
Springer
This work describes a complete indoor location system, from its creation, development and deployment. This location system is a capable way of retrieving the position of wireless d...
146
click to vote
CAISE
2005
Springer
16 years 1 days ago
2005
Springer
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
189
click to vote
SIGIR
2004
ACM
15 years 12 months ago
2004
ACM
Many museum and library archives are digitizing their large collections of handwritten historical manuscripts to enable public access to them. These collections are only available...
277
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
166
click to vote
ECBS
2006
IEEE
16 years 17 days ago
2006
IEEE
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to co...