Sciweavers

1136 search results - page 52 / 228
» Is Information Systems a Reference Discipline
Sort
View
134
Voted
ICFP
2010
ACM
15 years 5 months ago
Logical types for untyped languages
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
Sam Tobin-Hochstadt, Matthias Felleisen
PERVASIVE
2006
Springer
15 years 3 months ago
Scalability in a Secure Distributed Proof System
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
Kazuhiro Minami, David Kotz
IV
2005
IEEE
142views Visualization» more  IV 2005»
15 years 9 months ago
Beyond Guidelines: What Can We Learn from the Visual Information Seeking Mantra?
The field of information visualization offers little methodological guidance to practitioners who seek to design novel systems. Though many sources describe the foundations of the...
Brock Craft, Paul A. Cairns
ESAW
2000
Springer
15 years 7 months ago
Models of Coordination
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...
Robert Tolksdorf
AUIC
2004
IEEE
15 years 7 months ago
Visualization of Travel Itinerary Information on PDAs
Conventional travel itineraries list travel related information, such as flights and hotel bookings, in a chronological order of date and time. As such the only observable relatio...
Masood Masoodian, Daryl Budd