Sciweavers

1076 search results - page 162 / 216
» Supporting Design Patterns with Annotations
Sort
View
SCESM
2006
ACM
238views Algorithms» more  SCESM 2006»
15 years 8 months ago
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
Holger Giese, Stefan Henkler, Martin Hirsch, Flori...

Book
301views
17 years 20 days ago
Programming in Standard ML
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
Robert Harper
124
Voted
KDD
2005
ACM
106views Data Mining» more  KDD 2005»
16 years 3 months ago
Simultaneous optimization of complex mining tasks with a knowledgeable cache
With an increasing use of data mining tools and techniques, we envision that a Knowledge Discovery and Data Mining System (KDDMS) will have to support and optimize for the followi...
Ruoming Jin, Kaushik Sinha, Gagan Agrawal
AINA
2009
IEEE
15 years 9 months ago
Parameterised Gradient Based Routing (PGBR) for Future Internet
— The current internet infrastructure is facing a number of limitations that is not suitable to meet the growing number of services and users. In particular, one aspect that requ...
Sasitharan Balasubramaniam, Dmitri Botvich, Julien...
122
Voted
ICDCS
2009
IEEE
15 years 9 months ago
Explicit Batching for Distributed Objects
Although distributed object systems, for example RMI and CORBA, enable object-oriented programs to be easily distributed across a network, achieving acceptable performance usually...
Eli Tilevich, William R. Cook, Yang Jiao