4895 search results - page 729 / 979 » Tools for Grammar Engineering |
173
click to vote
ECOWS
2007
Springer
16 years 23 days ago
2007
Springer
Several works have addressed the management of individual Web Services. However, the specific management requirements of workflow-based web service compositions such as those speci...
152
click to vote
FSTTCS
2007
Springer
16 years 23 days ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
153
click to vote
ISVC
2007
Springer
16 years 22 days ago
2007
Springer
This paper presents a technique that allows test engineers to visually analyze and explore within memory chip test data. We represent the test results from a generation of chips al...
181
click to vote
RULEML
2007
Springer
16 years 22 days ago
2007
Springer
The SWRLTab is a development environment for working with SWRL rules in Protégé-OWL. It supports the editing and execution of SWRL rules. It also provides mechanisms to allow int...
150
Voted
SEMWEB
2007
Springer
16 years 21 days ago
2007
Springer
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...