Sciweavers

1015 search results - page 116 / 203
» Rapid file system development using ptrace
Sort
View
143
Voted
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 1 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
EXPERT
2011
131views more  EXPERT 2011»
14 years 7 months ago
Grid Monitoring and Market Risk Management
—With the rapid development of the electricity market, both grid and market operations need to be carefully coordinated and monitored in real time. This paper focuses on system m...
Yufan Guan, Mladen Kezunovic
USENIX
1993
15 years 5 months ago
Wafe - An X Toolkit Based Frontend for Application Programs in Various Programming Languages
Wafe provides a flexible and easy to use interface to the X Toolkit (Xt) and the Athena widget set (Xaw) using the embeddable command language Tcl [1]. It allows access to Xt’s...
Gustaf Neumann, Stefan Nusser
FM
2009
Springer
138views Formal Methods» more  FM 2009»
15 years 10 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
142
Voted
SOUPS
2006
ACM
15 years 10 months ago
Aligning usability and security: a usability study of Polaris
Security software is often difficult to use thus leading to poor adoption and degraded security. This paper describes a usability study that was conducted on the software ‘Polar...
Alexander J. DeWitt, Jasna Kuljis