2364 search results - page 341 / 473 » An Engine for Computing Well-Founded Models |
123
click to vote
ICESS
2005
Springer
15 years 10 months ago
2005
Springer
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...
125
click to vote
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
110
click to vote
WEBI
2005
Springer
15 years 10 months ago
2005
Springer
Internet search has a strong business model that permits a free service to users, so it is difficult to see why, if at all, there should be open source offerings as well. This pa...
141
Voted
ECLIPSE
2004
ACM
15 years 10 months ago
2004
ACM
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...
140
click to vote
SIGMETRICS
2004
ACM
15 years 10 months ago
2004
ACM
A large variety of communication systems, including telephone and data networks, can be represented by so-called Whittle networks. The stationary distribution of these networks is...