2662 search results - page 331 / 533 » Tools Demonstrations |
171
click to vote
VL
2008
IEEE
16 years 29 days ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
166
click to vote
WISE
2008
Springer
16 years 29 days ago
2008
Springer
Nowadays many collaborative organizations require advanced semantic interoperability tools to enable cooperation and communication across distributed Web Information Systems (WIS)....
156
click to vote
ACSAC
2007
IEEE
16 years 29 days ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
195
click to vote
CNSR
2007
IEEE
16 years 28 days ago
2007
IEEE
The theory of natural movement is fundamental to space syntax: a set of theories and methods developed in the late 1970s that seeks, at a general level, to reveal the mutual effec...
127
click to vote
DATE
2007
IEEE
16 years 28 days ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...