8766 search results - page 1565 / 1754 » Functional logic programming |
137
click to vote
ICSEA
2009
IEEE
15 years 9 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
124
click to vote
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Unit testing component-based distributed systems traditionally involved testing functional concerns of the application logic throughout the development lifecycle. In contrast, tes...
129
click to vote
OTM
2009
Springer
15 years 9 months ago
2009
Springer
Complex event processing (CEP) is a software architecture paradigm that aims at low latency, high throughput, and quick adaptability of applications for supporting and improving ev...
110
Voted
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
126
Voted
NCA
2007
IEEE
15 years 9 months ago
2007
IEEE
Our research addresses two important problems that arise in modern large-scale distributed systems: (1) the necessity to virtualize their data flows by applying actions such as ï...