2016 search results - page 347 / 404 » Tool Support for Ontology Engineering |
132
click to vote
VL
2010
IEEE
14 years 8 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
100
click to vote
TEI
2012
ACM
13 years 5 months ago
2012
ACM
In the real world, touch based interaction relies on haptic feedback (e.g., grasping objects, feeling textures). Unfortunately, such feedback is absent in current tabletop systems...
DAWAK
2007
Springer
15 years 4 months ago
2007
Springer
The emerging area of business process intelligence aims at enhancing the analysis power of business process management systems by employing data warehousing and mining technologies...
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 3 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...