Sciweavers

828 search results - page 88 / 166
» Visualizing Interactions in Program Executions
Sort
View
CN
1999
88views more  CN 1999»
13 years 9 months ago
Building a high-performance, programmable secure coprocessor
Secure coprocessors enable secure distributed applications by providing safe havens where an application program can Z .execute and accumulate state , free of observation and inte...
Sean W. Smith, Steve Weingart
VL
2003
IEEE
128views Visual Languages» more  VL 2003»
14 years 2 months ago
A visual approach to development of web services providers/requestors
An idea of automatic generation of Web applications from templates has been proposed [1, 2, 3, 4]. A software system called T-Web system has been implemented based on the idea to ...
Kornkamol Jamroendararasame, Takehiro Tokuda, Tets...
ICFP
2005
ACM
14 years 9 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
ICSE
2003
IEEE-ACM
14 years 9 months ago
Trustworthy and sustainable operations in marine environments
In order to address challenges and opportunities of engineering information systems for network-centric warfare, we have developed a prototype for trustworthy and sustainable oper...
Martin Fredriksson, Rune Gustavsson
AAAI
2000
13 years 11 months ago
Integrating a Spoken Language System with Agents for Operational Information Access
Changing the way users interact with their data is the principal objective of the Listen, Communicate, Show (LCS) paradigm. LCS is a new paradigm being applied to Marine Corps tac...
Jody J. Daniels