Sciweavers

1347 search results - page 64 / 270
» A Web-based requirements analysis tool
Sort
View
124
Voted
VL
1994
IEEE
147views Visual Languages» more  VL 1994»
15 years 7 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
170
Voted
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
15 years 10 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...
WSC
2008
15 years 6 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...
112
Voted
SODA
2010
ACM
149views Algorithms» more  SODA 2010»
16 years 1 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
149
Voted
CAV
2008
Springer
125views Hardware» more  CAV 2008»
15 years 5 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...