964 search results - page 105 / 193 » Scenario-driven modeling and validation of requirements mode... |
187
Voted
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
200
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
This work presents the concept of Continuous Search (CS), which objective is to allow any user to eventually get their constraint solver achieving a top performance on their proble...
136
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
145
click to vote
LFCS
2009
Springer
16 years 19 days ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
194
click to vote
SIBGRAPI
2005
IEEE
15 years 11 months ago
2005
IEEE
Tracking moving objects in video sequence is an important problem in computer vision, with applications several fields, such as video surveillance and target tracking. Most techn...