7206 search results - page 446 / 1442 » Using a Hypermedia System for Systems Engineering |
182
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
During mass casualty incidents, an enormous amount of data, including the vital signs of the patients, the location of the patients, and the location of the first responders must ...
193
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a method for dynamic security domain scaling on SMPs that offers both highly scalable performance and high security for future high-end embedded systems. Its most impor...
185
Voted
AI
2007
Springer
16 years 1 months ago
2007
Springer
The judgment that whether an email is spam or non-spam may vary from person to person. Different individuals can have totally different responses to the same email based on their p...
163
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
147
click to vote
UIST
2005
ACM
16 years 11 days ago
2005
ACM
Traditional documentation for computer-based procedures is difficult to use: readers have trouble navigating long complex instructions, have trouble mapping from the text to displ...