Sciweavers

4061 search results - page 385 / 813
» Framework Evolution Tool
Sort
View
ICMCS
2006
IEEE
97views Multimedia» more  ICMCS 2006»
16 years 26 days ago
Towards Automatic Mobile Blogging
Weblog (usually shortened as blog) has gained its popularity lately. There are about 70,000 new blogs a day and about 29,100 blog updates an hour. As an emerging blogging phenomen...
Pujianto Cemerlang, Joo-Hwee Lim, Yilun You, Jun Z...
198
Voted
ECBS
2005
IEEE
110views Hardware» more  ECBS 2005»
16 years 13 days ago
Synthesis of C++ Software from Verifiable CSPm Specifications
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
Stephen Doxsee, William B. Gardner
RSP
2005
IEEE
107views Control Systems» more  RSP 2005»
16 years 12 days ago
Rapid Prototyping of Embedded Software Using Selective Formalism
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
John D. Carter, Ming Xu, William B. Gardner
ACMACE
2004
ACM
16 years 8 days ago
Massively multi-player games: matching game design with technical design
We propose a framework model to facilitate the prototyping and refinement of Massively Multi-player Online Games (MMOG), when included in the appropriate development environment....
Anne-Gwenn Bosser
CSCW
2004
ACM
16 years 8 days ago
Meeting central: making distributed meetings more effective
The Meeting Central prototype is a suite of collaboration tools designed to support distributed meetings. The tools' minimalist design provides only those features that have ...
Nicole Yankelovich, William Walker, Patricia Rober...