Sciweavers

6054 search results - page 1082 / 1211
» Implementation of Andorra-based Languages
Sort
View
ERSHOV
2009
Springer
13 years 8 months ago
Applicability of the BLAST Model Checker: An Industrial Case Study
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
Emanuel Kolb, Ondrej Sery, Roland Weiss
ESIAT
2009
IEEE
13 years 8 months ago
Design of Distributed Architecture Based on Java Remote Method Invocation Technology
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
Delin Hou, Huosong Xia
FLAIRS
2009
13 years 8 months ago
Assessment of LDAT as a Grammatical Diversity Assessment Tool
1 The purpose of this study is to evaluate the validity of measuring grammatical diversity with a specifically designed Lexical Diversity Assessment Tool (LDAT). A secondary object...
Scott Leigh Healy, Joseph D. Weintraub, Philip M. ...
FORTE
2009
13 years 8 months ago
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
Luciano Baresi, Domenico Bianculli, Sam Guinea, Pa...
GI
2009
Springer
13 years 8 months ago
Ontology Design for Information Integration in Disaster Management
: One of the most pressing issues in improving disaster management is that of information integration. With many organizations involved in the disaster, crossing regional or even n...
Grigori Babitski, Florian Probst, Jörg Hoffma...
« Prev « First page 1082 / 1211 Last » Next »