4460 search results - page 242 / 892 » Formal methods for interactive systems |
129
click to vote
STTT
2008
15 years 5 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
150
Voted
ICMCS
1999
IEEE
15 years 9 months ago
1999
IEEE
Owing to the recent development of digital broadcasting technology such as Satellite, CATV, the Internet and the expansion of the network systems, the amount of video data we can ...
162
click to vote
TOG
2012
13 years 7 months ago
2012
We present a dynamic tree modeling and representation technique that allows complex tree models to interact with their environment. Our method uses changes in the light distributi...
148
Voted
RT
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Lighting design is often tedious due to the required physical manipulation of real light sources and objects. As an alternative, we present an interactive system to virtu...
130
click to vote
IRI
2006
IEEE
15 years 11 months ago
2006
IEEE
Hurricanes are one of the deadliest and perilous natural calamities on the face of earth having a severe impact both on the lives of the people and economy of a nation. Attempts h...