2662 search results - page 423 / 533 » Objects-early tools: a demonstration |
WISE
2008
Springer
15 years 4 months ago
2008
Springer
Nowadays many collaborative organizations require advanced semantic interoperability tools to enable cooperation and communication across distributed Web Information Systems (WIS)....
ACSAC
2007
IEEE
15 years 4 months 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 ...
BIBE
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—In this paper we demonstrate the inherent robustness of minimum distance estimator that makes it a potentially powerful tool for parameter estimation in gene expression ...
CNSR
2007
IEEE
15 years 4 months 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...
DATE
2007
IEEE
15 years 4 months 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...