596 search results - page 100 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
159
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
284
click to vote
Publication
Computer vision techniques have been applied for rapid
and accurate structure recovery in many fields. Most methods
perform poorly in areas containing little or no texture
and i...
180
click to vote
MODELS
2007
Springer
16 years 2 days ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
195
click to vote
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
165
click to vote
SIGECOM
2000
ACM
15 years 10 months ago
2000
ACM
A prime business concern is knowing your customer. One legacy carried into the present from the earliest NCSA web servers is web server logs. While there are more powerful user tr...