3931 search results - page 249 / 787 » Separation logic and abstraction |
187
click to vote
COORDINATION
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
188
click to vote
DEXAW
2006
IEEE
16 years 21 days ago
2006
IEEE
Content in semantic web portals is often projected along application specific navigational taxonomies and linked semantically. This paper presents a logic-based method and a serv...
135
click to vote
WETICE
1999
IEEE
15 years 11 months ago
1999
IEEE
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....
142
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Circuit-switched Banyan interconnection networks can be built from simple switching elements that do not have logical processing or buffering capabilities. This paper describes a ...
179
click to vote
ENTCS
2006
15 years 6 months ago
2006
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...