3468 search results - page 218 / 694 » An open logical framework |
171
click to vote
WAC
2004
Springer
15 years 12 months ago
2004
Springer
The Internet network technology today does not allow a sufficient degree of autonomy to express user choices, constraints and preferences in order to dynamically obtain the most su...
140
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Multi-threaded code is becoming very common, mostly on the server side. As there is...
170
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
With web services emerging as a promising technology for supporting open and dynamic business processes, it is witnessed that standards for business process specification in the c...
158
click to vote
MM
1997
ACM
15 years 10 months ago
1997
ACM
Being able to author a hypermedia document once for presentation under a wide variety of potential circumstances requires that it be stored in a manner that is adaptable to these ...
169
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. In open and heterogeneous environments offered by the Internet, where agents are designed by different vendors, the development of standards for agent communication nee...