3555 search results - page 445 / 711 » Security-Critical System Development with Extended Use Cases |
201
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
157
Voted
PERVASIVE
2007
Springer
16 years 1 months ago
2007
Springer
This paper introduces a user-centered design process and case study evaluation of a novel wearable visualization system for team sports, coined TeamAwear. TeamAwear consists of thr...
210
Voted
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
In the past, Field Programmable Gate Array (FPGA) circuits only contained a limited amount of logic and operated at a low frequency. Few applications running on FPGAs consumed exc...
196
click to vote
COMPUTER
2007
15 years 6 months ago
2007
ract in that they deal with sequences of sound or movement. Two social or personality skills can also be defined: Intrapersonal skill helps people perceive and control their own th...
182
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In a traditional keyword-search system in XML data, a user composes a keyword query, submits it to the system, and retrieves relevant subtrees. In the case where the user has limi...