3653 search results - page 479 / 731 » On Recognizable Timed Languages |
172
click to vote
CW
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper we propose FVRML—a function-based extension of Virtual Reality Modeling Language which allows for time-dependent shape modeling on the web. Shape’s geometry, 3D ...
166
click to vote
DFT
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper presents a new test methodology which utilizes the Programming Language Interface (PLI) for performing fault simulation of combinational or full scan Intellectual Prope...
157
click to vote
FDL
2005
IEEE
16 years 6 days ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
165
click to vote
HAPTICS
2005
IEEE
16 years 6 days ago
2005
IEEE
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
159
click to vote
ICMB
2005
IEEE
16 years 6 days ago
2005
IEEE
Service discovery is important in mobile and pervasive computing environments, where the set of resources available to an entity changes dynamically over time. This paper describe...