1705 search results - page 107 / 341 » Representing Constraints with Automata |
165
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
177
click to vote
ACRI
2004
Springer
15 years 11 months ago
2004
Springer
Modeling free-form shapes in 3D spaces based on strict physical laws require a considerable amount of computation time. Previous experiences with Cellular Automata demonstrated sub...
160
click to vote
ARCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...
161
click to vote
SBIA
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an overview of current work on the recognition of sign language and a prototype of a simple editor for a small subset of the Brazilian Sign Language, LIBRAS. Ha...
179
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...