2859 search results - page 64 / 572 » A Programming Environment for Bousi-Prolog |
171
click to vote
PARELEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Recent advances in high-speed networks, rapid improvements in microprocessor design, and availability of highly performing clustering software implementations enables cost-effecti...
161
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
136
click to vote
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
129
click to vote
CIA
1998
Springer
15 years 8 months ago
1998
Springer
Information-rich environments are the open environments that characterize most of the modern applications of computing technology. The applications include ubiquitous information a...
147
click to vote
CD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A distributed software system's deployment architecture can have a significant impact on the system's properties. These properties will depend on various system...