7366 search results - page 470 / 1474 » Development of the Information Systems Implementation Resear... |
201
click to vote
ENTCS
2008
15 years 6 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
184
click to vote
SP
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes an expert system development toolset called the Production-Based Expert System Toolset (P-BEST) and how it is employed in the development of a modern generic ...
205
click to vote
DOLAP
2010
ACM
15 years 4 months ago
2010
ACM
The integration of OLAP with web-search technologies is a promising research topic. Recommender systems are popular web-search mechanisms, because they can address information ove...
145
click to vote
ALGORITHMICA
2000
15 years 6 months ago
2000
This paper explores a method of manipulating a planar rigid part on a conveyor belt using a robot with just one joint. This approach has the potential of offering a simple and fle...
168
click to vote
APCSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Since we first devised and defined password-capabilities as a new technique for building capability-based operating systems, a number of research systems around the world have use...