Sciweavers

1347 search results - page 64 / 270
» A Web-based requirements analysis tool
Sort
View
VL
1994
IEEE
147views Visual Languages» more  VL 1994»
15 years 4 months ago
Role of Visual Languages in Developing Image Analysis Algorithms
Developers of new imageanalysis algorithmstypically require an interactive environment in which the imagedata can be passed through various operators, some of which may involve fe...
M. Stella Atkins, Torre Zuk, B. Johnston, T. Arden
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
15 years 7 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
98
Voted
WSC
2008
15 years 2 months ago
Allocating outpatient clinic services using simulation and linear programming
A large number of operational tools exist to help researchers determine business solutions for their customers. Each individual tool serves a distinct purpose for specific types o...
Martin J. Miller, David M. Ferrin, Niloo Shahi, Ri...
89
Voted
SODA
2010
ACM
149views Algorithms» more  SODA 2010»
15 years 10 months ago
Data-Specific Analysis of String Sorting
We consider the complexity of sorting strings in the model that counts comparisons between symbols and not just comparisons between strings. We show that for any set of strings S ...
Raimund Seidel
CAV
2008
Springer
125views Hardware» more  CAV 2008»
15 years 2 months ago
Application of Formal Word-Level Analysis to Constrained Random Simulation
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spac...