3555 search results - page 418 / 711 » Security-Critical System Development with Extended Use Cases |
160
click to vote
ECRTS
2005
IEEE
16 years 13 days ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
167
click to vote
INEX
2005
Springer
16 years 10 days ago
2005
Springer
This is the first year for the Centre for Interactive Systems Research participation of INEX. Based on a newly developed XML indexing and retrieval system on Okapi, we extend Robe...
186
click to vote
SIGIR
2004
ACM
16 years 7 days ago
2004
ACM
Answer patterns have been shown to improve the performance of open-domain factoid QA systems. Their use, however, requires either constructing the patterns manually or developing ...
187
click to vote
ISCAS
2003
IEEE
16 years 3 days ago
2003
IEEE
Continuing trends in sensor, semiconductor and communication systems technology (smaller, faster, cheaper) make feasible very dense networks of fixed and mobile wireless devices ...
156
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Since Witsenhausen put forward his remarkable counterexample in 1968, there have been many attempts to develop efficient methods for solving this non-convex functional optimiz...