7206 search results - page 135 / 1442 » Using a Hypermedia System for Systems Engineering |
137
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
The recent proliferation of computing technology has brought added interest to natural I/O interface technologies such as speech recognition. Unfortunately, the computational and ...
184
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
173
click to vote
HT
2005
ACM
15 years 12 months ago
2005
ACM
Hyperlinks are an essential feature of the World Wide Web, highly responsible for its success. XLink improves on HTML’s linking capabilities in several ways. In particular, link...
137
click to vote
DSD
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper shows a new architecture for a virus scanning system, which is different from that of an intrusion detection system. The proposed method uses two-stage matching: In the...
130
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
This position paper suggests an approach for building software systems using patterns, right from business architecture to software architecture. Further, the approach incorporate...