Sciweavers

6197 search results - page 904 / 1240
» Sandbridge Software Tools
Sort
View
WCRE
2008
IEEE
16 years 1 months ago
A Business Process Explorer: Recovering Business Processes from Business Applications
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...
Jin Guo, Ying Zou
ASWEC
2007
IEEE
16 years 1 months ago
Formal Validation of Hierarchical State Machines against Expectations
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
Ian Toyn, Andy Galloway
ASWEC
2007
IEEE
16 years 1 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
COMPSAC
2007
IEEE
16 years 1 months ago
Towards Requirements Engineering for Context Adaptive Systems
Building realistic end user scenarios for ubiquitous computing applications entails large up-front investments. Many context adaptive applications so far fail to live up to their ...
Wassiou Sitou, Bernd Spanfelner
FCCM
2007
IEEE
146views VLSI» more  FCCM 2007»
16 years 1 months ago
Mitrion-C Application Development on SGI Altix 350/RC100
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
Volodymyr V. Kindratenko, Robert J. Brunner, Adam ...