Sciweavers

2370 search results - page 234 / 474
» On the Revival of Dynamic Languages
Sort
View
CORR
2011
Springer
179views Education» more  CORR 2011»
15 years 2 months ago
An overview of Ciao and its design philosophy
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
Manuel V. Hermenegildo, Francisco Bueno, Manuel Ca...
RTAS
2006
IEEE
16 years 1 months ago
Network-Code Machine: Programmable Real-Time Communication Schedules
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
Sebastian Fischmeister, Oleg Sokolsky, Insup Lee
CAISE
2005
Springer
16 years 25 days ago
Building Self-Managing Web Information Systems from Generic Components
Abstract. The increasing need for device independence and personalization forces organizations to automatically adapt their Web Information Systems (WISs) to individual users and t...
Geert-Jan Houben, Zoltán Fiala, Kees van de...
EUROMICRO
2003
IEEE
16 years 17 days ago
Enforcing a lips Usage Policy for CORBA Components
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
Wayne DePrince Jr., Christine Hofmeister
FM
2003
Springer
146views Formal Methods» more  FM 2003»
16 years 15 days ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb