Sciweavers

1255 search results - page 3 / 251
» A Proof Environment for the Development of Group Communicati...
Sort
View
CASCON
2010
173views Education» more  CASCON 2010»
13 years 4 months ago
Designing Effective Notifications for Collaborative Development Environments
We describe research conducted to improve the design and management of notifications in the Jazz collaborative development environment. Scenario-based design was used in conjuncti...
Joanna McGrenere, Jin Li, Jimmy Lo, Elena Litani
RTA
2004
Springer
14 years 25 days ago
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
Jacob Matthews, Robert Bruce Findler, Matthew Flat...
IROS
2006
IEEE
152views Robotics» more  IROS 2006»
14 years 1 months ago
Rescue Communicators for Global Victim Search and Local Rescue Planning
- We are conducting research and development in technology for unifying the information of a large number of intelligent sensors distributed in a disaster-stricken area. Operating ...
Yasushi Hada, Kuniaki Kawabata, Harutoshi Koguchi,...
TOOLS
1999
IEEE
13 years 11 months ago
Cooperative Software Development: Concepts, Model and Tools
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
Josef Altmann, Gustav Pomberger
AINA
2005
IEEE
14 years 1 months ago
Grouping Proof for RFID Tags
An RFID tag is a small and cheap device which is combined in IC chip and an antenna for radio communications. The tag is used for management of goods and its distribution. Moreove...
Junichiro Saito, Kouichi Sakurai