12333 search results - page 2019 / 2467 » System Level Modelling for Hardware Software Systems |
162
click to vote
WER
2007
Springer
16 years 28 days ago
2007
Springer
Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...
186
click to vote
ICALT
2006
IEEE
16 years 26 days ago
2006
IEEE
Mobile Augmented Reality System (MARS) based elearning environments equip a learner with a mobile wearable see-through display that interacts with training/learning software. MARS...
174
click to vote
ISPW
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
161
click to vote
SEFM
2005
IEEE
16 years 12 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
189
click to vote
STEP
2003
IEEE
16 years 2 days ago
2003
IEEE
With the rapid changes that occur in the area of Web technologies, the porting and adaptation of existing Web applications into new platforms that take advantage of modern technol...