Sciweavers

5377 search results - page 510 / 1076
» Programming Languages For Interactive Computing
Sort
View
SEMCO
2008
IEEE
16 years 1 months ago
Mobile Mashups: Thoughts, Directions, and Challenges
The twin mainstream computing shifts of mobility and programable Web are fundamentally impacting how humans interact, socialize, and access information. Never before has computing...
E. Michael Maximilien
EMSOFT
2004
Springer
16 years 20 days ago
A model-based approach to integrating security policies for embedded devices
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
Michael McDougall, Rajeev Alur, Carl A. Gunter
KI
2010
Springer
15 years 5 months ago
Spatial Cognition: Reasoning, Action, Interaction
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
Christian Freksa, Holger Schultheis, Kerstin Schil...
DLS
2008
149views Languages» more  DLS 2008»
15 years 9 months ago
Gradual typing with unification-based inference
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
Jeremy G. Siek, Manish Vachharajani
ICFP
2007
ACM
16 years 7 months ago
A type system for recursive modules
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
Derek Dreyer