3319 search results - page 133 / 664 » Subshifts, Languages and Logic |
95
Voted
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
In some application domains as composite software, ranging from search engines, to more general applications, like cooperative and distributed applications or e-business and e-comm...
131
click to vote
AMAI
2008
Springer
15 years 26 days ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
120
Voted
COLING
2010
14 years 7 months ago
2010
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
109
click to vote
ICSE
2011
IEEE-ACM
14 years 4 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
109
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...