2859 search results - page 540 / 572 » A Programming Environment for Bousi-Prolog |
138
click to vote
PARA
2004
Springer
15 years 7 months ago
2004
Springer
ct The Wireless World Research Forum (WWRF) has identified ambient-awareness and device diversity as two key properties of applications and services in future mobile systems [1]. ...
132
click to vote
SERA
2004
Springer
15 years 7 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
153
click to vote
HPDC
2003
IEEE
15 years 7 months ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
168
click to vote
PPOPP
2003
ACM
15 years 7 months ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...
100
click to vote
SACMAT
2003
ACM
15 years 7 months ago
2003
ACM
Authorization policy infrastructures are evolving with the complex environments that they support. However, the requirements and technologies supporting context are not yet well u...