Sciweavers

3429 search results - page 288 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
136
Voted
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 10 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
168
Voted
ASP
2005
Springer
15 years 10 months ago
A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
Luis Tari, Chitta Baral, Saadat Anwar
ACL
2006
15 years 6 months ago
Exploiting Comparable Corpora and Bilingual Dictionaries for Cross-Language Text Categorization
Cross-language Text Categorization is the task of assigning semantic classes to documents written in a target language (e.g. English) while the system is trained using labeled doc...
Alfio Massimiliano Gliozzo, Carlo Strapparava
134
Voted
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
15 years 9 months ago
Hardware Synthesis from C/C++ Models
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
Giovanni De Micheli
CAISE
2007
Springer
15 years 8 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst