4895 search results - page 729 / 979 » Tools for Grammar Engineering |
194
click to vote
ECOWS
2007
Springer
16 years 1 months 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...
168
click to vote
FSTTCS
2007
Springer
16 years 1 months 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 ...
172
click to vote
ISVC
2007
Springer
16 years 1 months 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...
198
click to vote
RULEML
2007
Springer
16 years 1 months 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...
180
click to vote
SEMWEB
2007
Springer
16 years 1 months 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...