22358 search results - page 360 / 4472 » Software Performance Engineering |
206
click to vote
EMSOFT
2005
Springer
16 years 23 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
145
click to vote
FMOODS
2006
15 years 8 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
251
click to vote
ISPASS
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they ar...
194
click to vote
CGO
2005
IEEE
16 years 28 days ago
2005
IEEE
In this work, we develop a secret sharing based compiler solution to achieve confidentiality, integrity and availability (intrusion tolerance) of critical data together, rather th...
141
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
More needs to be done to train students to deliver usable software. The current Software Engineering curriculum includes Human-Computer Interaction (HCI) topics in terms of a lect...