1284 search results - page 174 / 257 » Abstract Processes in Orchestration Languages |
137
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract This paper proposes VHDL-AMS syntax extensions that enable descriptions of AMS systems with partial differential equations. We named the extended language VHDL-AMSP. An im...
121
click to vote
NLDB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The increasing flow of digital information requires the extraction, filtering and classification of pertinent information from large volumes of texts. An important pre...
139
click to vote
INEX
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Can a system designed primarily for the purpose of databasetype storage and retrieval be used for information-retrieval tasks? This was one of the questions that led us t...
126
click to vote
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
152
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...