Sciweavers

4061 search results - page 385 / 813
» Framework Evolution Tool
Sort
View
ICMCS
2006
IEEE
97views Multimedia» more  ICMCS 2006»
16 years 1 months 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...
ECBS
2005
IEEE
110views Hardware» more  ECBS 2005»
16 years 1 months 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
202
Voted
RSP
2005
IEEE
107views Control Systems» more  RSP 2005»
16 years 1 months 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 1 months 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 1 months 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...