3335 search results - page 125 / 667 » A Unified Approach to Modeling and Programming |
182
click to vote
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
192
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
220
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
162
click to vote
CSREASAM
2010
15 years 3 months ago
2010
Nowadays, Network Intrusion Detection Systems are quickly updated in order to prevent systems against new attacks. This situation has provoked that attackers focus their efforts on...
189
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Exploiting processor groups is becoming increasingly important for programming next-generation high-end systems composed of tens or hundreds of thousands of processors. This paper...