43 search results - page 3 / 9 » Models and Languages for Describing and Discovering E-Servic... |
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper, we describe CALM, a method for building statistical language models for the Web. CALM addresses several unique challenges dealing with the Web contents. First, CALM...
JUCS
2000
13 years 9 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
ASM
2010
ASM
14 years 6 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
TOPNOC
2008
13 years 9 months ago
2008
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
FDL
2006
IEEE
14 years 3 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...