596 search results - page 83 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
262
Voted
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
XML schema design has two opposing goals: elimination of update anomalies requires that the schema be as normalized as possible; yet higher query performance and simpler query exp...
180
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Scientific workflows improve the process of scientific experiments by making computations explicit, underscoring data flow, and emphasizing the participation of humans...
210
click to vote
FOSSACS
2001
Springer
15 years 10 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
186
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
Social network analysis became a common technique used to model and quantify the properties of social interactions. In this paper, we propose an integrated framework to explore th...
144
click to vote
SOSE
2008
IEEE
16 years 11 days ago
2008
IEEE
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...