3564 search results - page 339 / 713 » Evaluating a Formal Modelling Language |
109
click to vote
ENTCS
2010
15 years 4 months ago
2010
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...
153
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
RDF is a data model for representing labeled directed graphs, and it is used as an important building block of semantic web. Due to its flexibility and applicability, RDF has bee...
142
click to vote
JUCS
2008
15 years 4 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
107
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
145
click to vote
AMI
2008
Springer
15 years 6 months ago
2008
Springer
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...