467 search results - page 25 / 94 » Open bisimulation for aspects |
132
Voted
ELECTRONICMARKETS
1998
15 years 3 months ago
1998
AbstractAbstractAbstractAbstract A design and pilot implementation of a system, called InterProcs, supporting electronic contracting is presented. A key concept in the design of th...
186
Voted
ICWSM
2009
15 years 1 months ago
2009
Gephi is an open source software for graph and network analysis. It uses a 3D render engine to display large networks in real-time and to speed up the exploration. A flexible and ...
148
Voted
ICIDS
2009
Springer
15 years 10 months ago
2009
Springer
Say Anything is a text-based interactive digital storytelling application that differs from other systems in its emphasis on the ability of users to create a narrative in any domai...
132
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: One of the crucial aspects of day-to-day laboratory information management is collection, storage and retrieval of information about research subjects and biomedical s...
124
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
IEEE 802.15.4/ZigBee and TinyOS have been playing an important role in leveraging a new generation of large-scale networked embedded systems. However, based on previous experience...