3742 search results - page 234 / 749 » On the Use of Formal Techniques for Validation |
160
click to vote
ER
2007
Springer
16 years 22 days ago
2007
Springer
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
195
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
165
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper describes a new way of visualizing threaded discussion forums on compact displays. The technique uses squarified treemaps to render the threads in discussion forums as ...
169
click to vote
TRIDENTCOM
2005
IEEE
16 years 4 days ago
2005
IEEE
Discrete-event packet-level network simulation is well-known and widely used. Network emulation is a hybrid approach that combines real elements of a deployed networked applicatio...
180
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
Shot segmentation provides the basis for almost all high-level video content analysis approaches, validating it as one of the major prerequisites for efficient video semantic ana...