Sciweavers

585 search results - page 43 / 117
» Component-Based Description of Programming Languages
Sort
View
ICSE
2011
IEEE-ACM
13 years 17 days ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...
RULEML
2005
Springer
14 years 2 months ago
Merging and Aligning Ontologies in dl-Programs
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Ab...
ACSD
2001
IEEE
112views Hardware» more  ACSD 2001»
14 years 23 days ago
Software Implementation of Synchronous Programs
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
Charles Andre, Frédéric Boulanger, A...
JELIA
2010
Springer
13 years 7 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang
MAGS
2010
116views more  MAGS 2010»
13 years 7 months ago
Comparing goal-oriented and procedural service orchestration
Goals form a declarative description of the desired end result of (part of) an orchestration. A goal-oriented orchestration language is an orchestration language in which these goa...
M. Birna van Riemsdijk, Martin Wirsing