180 search results - page 6 / 36 » ml 2007 |
JOT
2007
13 years 9 months ago
2007
In this paper we present an overview of the capabilities of the Systems Modeling Language (SysML.) SysML is a standard from the Object Management Group. It is geared toward increm...
IAT
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper we describe the improvements on our approach to the old discovery scenario of the SWS Challenge and our current solution for the new discovery and composition scenari...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
ECBS
2007
IEEE
14 years 1 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
ICDAR
2007
IEEE
14 years 4 months ago
2007
IEEE
Ink Markup Language (InkML) provides a platform– neutral data format that can be used to represent, store and transmit digital ink data. Both streaming and archival applications...