Sciweavers

2206 search results - page 215 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
CORR
2010
Springer
71views Education» more  CORR 2010»
15 years 6 months ago
Sampled Semantics of Timed Automata
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
ASWEC
2004
IEEE
15 years 10 months ago
UML Documentation Support for XML Schema
With the proliferation of XML as the lingua franca of internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this c...
Flora Dilys Salim, Rosanne Price, Shonali Krishnas...
FTRTFT
1998
Springer
15 years 10 months ago
Predictability in Critical Systems
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
Gérard Le Lann
AUIC
2005
IEEE
16 years 4 days ago
Interaction With Partially Transparent Hands And Objects
Visual concealment of important objects and information by hands or tools can make many tasks more difficult. To alleviate this problem, hands and tools can be made partially tran...
Volkert Buchmann, Trond Nilsen, Mark Billinghurst
CGO
2004
IEEE
15 years 10 months ago
SYZYGY - A Framework for Scalable Cross-Module IPO
Performing analysis across module boundaries for an entire program is important for exploiting several runtime performance opportunities. However, due to scalability problems in e...
Sungdo Moon, Xinliang D. Li, Robert Hundt, Dhruva ...