1366 search results - page 47 / 274 » Modularizing Contexted Constraints |
IWRIDL
2006
ACM
15 years 5 months ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
MOBIHOC
2007
ACM
15 years 10 months ago
2007
ACM
Recently, there has been substantial interest in the design of crosslayer protocols for wireless networks. These protocols optimize certain performance metric(s) of interest (e.g....
AOSE
2005
Springer
15 years 4 months ago
2005
Springer
Several concerns in the development of multi-agent systems (MASs) cannot be represented in a modular fashion. In general, they inherently affect several system modules and cannot b...
103
click to vote
VMCAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
EDOC
2003
IEEE
15 years 4 months ago
2003
IEEE
Today’s autonomous and heterogeneous information systems have an increasing necessity of exchanging data. As widely known, middleware systems have been successfully adopted as i...