9931 search results - page 299 / 1987 » Generative Modeling by PRISM |
164
click to vote
RSP
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
163
click to vote
ICMB
2006
IEEE
15 years 11 months ago
2006
IEEE
Clinical studies are often conducted as multi-centered studies involving participants at different locations. Thus it becomes obvious that using mobile platforms and remote data e...
169
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
151
click to vote
VRST
2005
ACM
15 years 10 months ago
2005
ACM
In multi-user virtual environments real-world people interact via digital avatars. In order to make the step from the real world onto the virtual stage convincing the digital equi...
163
Voted
ERCIMDL
2004
Springer
15 years 10 months ago
2004
Springer
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...