Sciweavers

1389 search results - page 162 / 278
» Definability as hypercomputational effect
Sort
View
EDBT
2006
ACM
144views Database» more  EDBT 2006»
14 years 10 months ago
Towards Expressive Publish/Subscribe Systems
Traditional content based publish/subscribe (pub/sub) systems allow users to express stateless subscriptions evaluated on individual events. However, many applications such as moni...
Alan J. Demers, Johannes Gehrke, Mingsheng Hong, M...
EDBT
2008
ACM
158views Database» more  EDBT 2008»
14 years 10 months ago
Expressive query specification through form customization
A form-based query interface is usually the preferred means to provide an unsophisticated user access to a database. Not only is such an interface easy to use, requiring no techni...
Magesh Jayapandian, H. V. Jagadish
ICSE
2003
IEEE-ACM
14 years 10 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
ICSE
2004
IEEE-ACM
14 years 10 months ago
Design of Large-Scale Polylingual Systems
Abstract. Building systems from existing applications written in two or more languages is common practice. Such systems are polylingual. Polylingual systems are relatively easy to ...
Mark Grechanik, Don S. Batory, Dewayne E. Perry
ICSE
2005
IEEE-ACM
14 years 10 months ago
An adaptive object model with dynamic role binding
To achieve the goalof realizingobject adaptationto environments, a new role-based model Epsilon and a language EpsilonJ is proposed. In Epsilon, an environment is defined as a fie...
Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama