Sciweavers

5591 search results - page 558 / 1119
» Design patterns: between programming and software design
Sort
View
HASKELL
2006
ACM
16 years 1 months ago
Introducing the Haskell equational reasoning assistant
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
Andy Gill
ERSHOV
2003
Springer
16 years 8 days ago
Intersecting Classes and Prototypes
Abstract. The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advanta...
Wolfgang De Meuter, Theo D'Hondt, Jessie Dedecker
EMSOFT
2005
Springer
16 years 17 days ago
Towards real-time enabled Microsoft Windows
Many computer scientists recognize the adverse relationship between Microsoft Windows, a general purpose operating system, which by design does not support Real Time, a specific ...
Alex Xiang Feng
ECOOP
1998
Springer
15 years 11 months ago
Mobile Objects and Mobile Agents: The Future of Distributed Computing?
This paper will lead you into the world of mobile agents, an emerging technology that makes it very much easier to design, implement, and maintain distributed systems. You will fin...
Danny B. Lange
AGTIVE
2007
Springer
15 years 11 months ago
Transforming Timeline Specifications into Automata for Runtime Monitoring
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
Eric Bodden, Hans Vangheluwe