Sciweavers

2399 search results - page 171 / 480
» Developing an Effective IT Integration and Support System
Sort
View
192
Voted
IPPS
2005
IEEE
16 years 19 days ago
Distributed Data Streams Indexing using Content-Based Routing Paradigm
In recent years, we have seen a dramatic increase in the use of data-centric distributed systems such as global grid infrastructures, sensor networks, network monitoring, and vari...
Ahmet Bulut, Ambuj K. Singh, Roman Vitenberg
168
Voted
JSW
2007
97views more  JSW 2007»
15 years 7 months ago
Instantiation of a Classification System Framework that Facilitates Reuse
Abstract—Frameworks are a key technology to reduce software development costs and shorten the time-to-market. However, framework complexity presents reuse problems that limit its...
Sérgio F. Lopes, Adriano Tavares, Joã...
153
Voted
OOPSLA
2005
Springer
16 years 16 days ago
Pluggable AOP: designing aspect mechanisms for third-party composition
Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this man...
Sergei Kojarski, David H. Lorenz
215
Voted
CDC
2009
IEEE
176views Control Systems» more  CDC 2009»
15 years 11 months ago
Dynamics of a 3D elastic string pendulum
— This paper presents an analytical model and a geometric numerical integrator for a rigid body connected to an elastic string, acting under a gravitational potential. Since the ...
Taeyoung Lee, Melvin Leok, N. Harris McClamroch
214
Voted
TPHOL
1998
IEEE
15 years 11 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...