Sciweavers

4205 search results - page 85 / 841
» Typed Mobile Objects
Sort
View
149
Voted
ESOP
2006
Springer
15 years 7 months ago
Types for Dynamic Reconfiguration
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
João Costa Seco, Luís Caires
ECOOP
2010
Springer
15 years 8 months ago
A Type System for Data-Centric Synchronization
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
Mandana Vaziri, Frank Tip, Julian Dolby, Christian...
OOPSLA
2009
Springer
15 years 10 months ago
Self type constructors
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
Chieri Saito, Atsushi Igarashi
142
Voted
ICHIT
2009
Springer
15 years 10 months ago
A genetic algorithm approach for a constrained employee scheduling problem as applied to employees at mall type shops
In this application of artificial intelligence to a real-world problem, the constrained scheduling of employee resourcing for a mall type shop is solved by means of a genetic algo...
Adrian Brezulianu, Monica Fira, Lucian Fira
123
Voted
ECOOP
1998
Springer
15 years 8 months ago
Reflection for Statically Typed Languages
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
José de Oliveira Guimarães